1. A course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)

موضوع: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd

رده :
511
,.
3
,.
M296
,
2010

2. A course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Logic, Symbolic and mathematical

رده :
QA9
.
M29613
2010

3. Combinatorics, computability and logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

4. Combinatorics, computability and logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA164
.
C733
2001

5. Computation, Logic, Philosophy :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Information theory.,Mathematics.,Technology -- Philosophy.

6. Formal systems and recursive functions /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.

رده :
QA9
.
615
.
F67
1965

7. The Foundations of intuitionistic mathematics; especially in relation to recursive functions

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع: ، Constructive mathematics,، Recursive functions

رده :
QA
9
.
K648